Predicate logic - PDFSEARCH.IO - Document Search Engine

Predicate logic
Results: 1102

#	Item
71	ENGLISH FOR INTERNATIONAL STUDENTS UNIT KIBBITZER 33 By contrast etc. Add to Reading List Source URL: lexically.net Language: English - Date: 2011-03-23 16:21:56 Cytoskeleton Propositions Predicate logic Microtubule Sentence Universal quantification Virus Contrast Influenza
72	De Re / De Dicto Ezra Keshet and Florian Schwarz September Add to Reading List Source URL: florianschwarz.net Language: English - Date: 2014-09-08 15:06:42 Modality Philosophy of language Semantics Philosophical logic Grammar De dicto and de re Modal logic De se Adjunct Linguistic modality Predicate Logical Form
73	Introduction to Tree Logics Pierre Genevès CNRS (slides mostly based on the ones by W. Martens and T. Schwentick) University of Grenoble Alpes, 2015–2016 Add to Reading List Source URL: tyrex.inria.fr Language: English - Date: 2016-01-19 11:56:00 Model theory Mathematical logic Predicate logic First-order logic FO Second-order logic Structure Term Logic programming
74	Description Logics for Shape Analysis Lilia Georgieva School of Mathematical and Computer Sciences Heriot-Watt University, Edinburgh, UK Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-09-09 08:46:00 Non-classical logic Edsger W. Dijkstra Predicate transformer semantics FO First-order logic Null Second-order logic Model theory Free logic Transitive closure
75	Semantic Processing Semantics Semantic Add to Reading List Source URL: cl.indiana.edu Language: English - Date: 2016-04-23 22:06:25 Semantics Grammar Predicate logic Knowledge representation Computational linguistics Logical Form Dependency grammar First-order logic Description logic Semantic network Quantifier Model theory
76	On interpolation in existence logics Matthias Baaz and Rosalie Iemhoff!! Technical University Vienna, Wiedner Hauptstrasse 8-10, A-1040 Vienna, Austria , , http://www.logic.at/people/baaz, ht Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2008-12-12 07:17:45 Proof theory Model theory Non-classical logic Predicate logic Philosophical logic Natural deduction First-order logic Sequent Intuitionistic logic Kripke semantics Interpretation Mathematical logic
77	A Self-Applicable Partial Evaluator for the Logic Programming Language G¨odel (Extended Abstract) C.A.Gurr∗ Human Communication Research Centre University of Edinburgh Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Predicate logic Mathematical logic Prolog Logic programming Partial evaluation Predicate Resolution Mereology Programming language Eval
78	Leveraging Parallel Data Processing Frameworks with Verified Lifting Maaz Bin Safeer Ahmad Alvin Cheung Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2016-07-02 20:30:42 Formal methods MapReduce Loop invariant Postcondition Apache Hadoop Control flow Hoare logic Generator Predicate transformer semantics KeY Infinite loop Const
79	LANGUAGE LEARNING AND DEVELOPMENT, 2(2), 77–96 Copyright © 2006, Lawrence Erlbaum Associates, Inc. Asymmetries in the Acquisition of Numbers and Quantifiers Felicia Hurewitz Add to Reading List Source URL: www.psych.upenn.edu Language: English - Date: 2013-01-02 10:01:26 Quantification Semantics Ontology Inference Predicate logic Quantifier Count noun Proposition Quantity Implicature Mathematical logic Existence
80	FIRST ORDER THEORIES OF INDIVIDUAL CONCEPTS AND PROPOSITIONS John McCarthy, Stanford University 2000 Oct 31, 10:36 a.m. Abstract Add to Reading List Source URL: www-formal.stanford.edu Language: English - Date: 2002-03-26 18:10:07 Predicate logic Quantification Philosophical logic Mathematical logic Model theory Modal logic Predicate FO Axiom First-order logic Quantifier Existential quantification